[INFO] fetching crate oxiz-solver 0.1.3...
[INFO] testing oxiz-solver-0.1.3 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate oxiz-solver 0.1.3 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate oxiz-solver 0.1.3
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-solver 0.1.3
[INFO] tweaked toml for crates.io crate oxiz-solver 0.1.3 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-solver 0.1.3 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-solver 0.1.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded symbol_table v0.4.0
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded wide v1.1.1
[INFO] [stderr]   Downloaded egg v0.11.0
[INFO] [stderr]   Downloaded oxiz-nlsat v0.1.3
[INFO] [stderr]   Downloaded oxiz-math v0.1.3
[INFO] [stderr]   Downloaded oxiz-sat v0.1.3
[INFO] [stderr]   Downloaded oxiz-theories v0.1.3
[INFO] [stderr]   Downloaded oxiz-core v0.1.3
[INFO] [stderr]   Downloaded web-sys v0.3.85
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 430775aaa0294782295ddc235a95c379b7854e0e5162aa12396d240e58fe4b3e
[INFO] running `Command { std: "docker" "start" "-a" "430775aaa0294782295ddc235a95c379b7854e0e5162aa12396d240e58fe4b3e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "430775aaa0294782295ddc235a95c379b7854e0e5162aa12396d240e58fe4b3e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "430775aaa0294782295ddc235a95c379b7854e0e5162aa12396d240e58fe4b3e", kill_on_drop: false }`
[INFO] [stdout] 430775aaa0294782295ddc235a95c379b7854e0e5162aa12396d240e58fe4b3e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dbe7b09391e44b604dd1941720bf5004972d581f91a2deb44eb3024d804d2b5f
[INFO] running `Command { std: "docker" "start" "-a" "dbe7b09391e44b604dd1941720bf5004972d581f91a2deb44eb3024d804d2b5f", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling wide v1.1.1
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling symbol_table v0.4.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling oxiz-math v0.1.3
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-sat v0.1.3
[INFO] [stderr]    Compiling oxiz-nlsat v0.1.3
[INFO] [stderr]    Compiling oxiz-theories v0.1.3
[INFO] [stderr]    Compiling oxiz-solver v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 04s
[INFO] running `Command { std: "docker" "inspect" "dbe7b09391e44b604dd1941720bf5004972d581f91a2deb44eb3024d804d2b5f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dbe7b09391e44b604dd1941720bf5004972d581f91a2deb44eb3024d804d2b5f", kill_on_drop: false }`
[INFO] [stdout] dbe7b09391e44b604dd1941720bf5004972d581f91a2deb44eb3024d804d2b5f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a2cb26eb4cebe1c68f8c08d62902f114ac7b13265d342fee0dc38bd1aba36a13
[INFO] running `Command { std: "docker" "start" "-a" "a2cb26eb4cebe1c68f8c08d62902f114ac7b13265d342fee0dc38bd1aba36a13", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zmij v1.0.19
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling clap_builder v4.5.57
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling clap v4.5.57
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling oxiz-math v0.1.3
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-sat v0.1.3
[INFO] [stderr]    Compiling oxiz-nlsat v0.1.3
[INFO] [stderr]    Compiling oxiz-theories v0.1.3
[INFO] [stderr]    Compiling oxiz-solver v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2m 37s
[INFO] running `Command { std: "docker" "inspect" "a2cb26eb4cebe1c68f8c08d62902f114ac7b13265d342fee0dc38bd1aba36a13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2cb26eb4cebe1c68f8c08d62902f114ac7b13265d342fee0dc38bd1aba36a13", kill_on_drop: false }`
[INFO] [stdout] a2cb26eb4cebe1c68f8c08d62902f114ac7b13265d342fee0dc38bd1aba36a13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 7fdddc42fb2f3cb97b28acd1667edbde1e452155dcd55e517531b15c4221502b
[INFO] running `Command { std: "docker" "start" "-a" "7fdddc42fb2f3cb97b28acd1667edbde1e452155dcd55e517531b15c4221502b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.40s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oxiz_solver-3760ae51cb37463f)
[INFO] [stdout] running 429 tests
[INFO] [stdout] test combination::conflict_resolution::tests::test_explanation_generator ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_backtrack_level_computation ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_backtrack ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_multi_theory_analyzer ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_literal_creation ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_simple_minimization ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_literal_negation ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_resolver_creation ... ok
[INFO] [stdout] test combination::convexity::tests::test_add_disjunction ... ok
[INFO] [stdout] test combination::convexity::tests::test_case_split ... ok
[INFO] [stdout] test combination::convexity::tests::test_backtrack ... ok
[INFO] [stdout] test combination::convexity::tests::test_disjunctive_reasoning ... ok
[INFO] [stdout] test combination::convexity::tests::test_equality_disjunction ... ok
[INFO] [stdout] test combination::convexity::tests::test_handler_creation ... ok
[INFO] [stdout] test combination::convexity::tests::test_process_unit_disjunction ... ok
[INFO] [stdout] test combination::convexity::tests::test_register_theory ... ok
[INFO] [stdout] test combination::convexity::tests::test_model_based_combination ... ok
[INFO] [stdout] test combination::convexity::tests::test_simplify_disjunction ... ok
[INFO] [stdout] test combination::convexity::tests::test_unit_disjunction ... ok
[INFO] [stdout] test combination::coordinator::tests::test_backtrack ... ok
[INFO] [stdout] test combination::coordinator::tests::test_coordinator_creation ... ok
[INFO] [stdout] test combination::coordinator::tests::test_equality_propagation ... ok
[INFO] [stdout] test combination::coordinator::tests::test_check_sat_single_theory ... ok
[INFO] [stdout] test combination::coordinator::tests::test_conflict_minimization ... ok
[INFO] [stdout] test combination::coordinator::tests::test_equivalence_classes ... ok
[INFO] [stdout] test combination::coordinator::tests::test_register_theory ... ok
[INFO] [stdout] test combination::coordinator::tests::test_shared_term_management ... ok
[INFO] [stdout] test combination::equality_propagation::tests::test_equality_propagator ... ok
[INFO] [stdout] test combination::equality_propagation::tests::test_egraph ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_decision_level ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_conflict_analysis ... ok
[INFO] [stdout] test combination::conflict_resolution::tests::test_add_assignment ... ok
[INFO] [stdout] test combination::coordinator::tests::test_get_model ... ok
[INFO] [stdout] test combination::equality_propagation::tests::test_union_find ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_assert_equality ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_get_pending ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_manager_creation ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_interface_eclass ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_minimal_generation ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_register_term ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_minimization ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_scheduler ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_set_strategy ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_add_shared_term ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_clear ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_add_implied_equality ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_combine_sat ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_creation ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_equality_normalization ... ok
[INFO] [stdout] test combination::nelson_oppen::tests::test_generate_arrangements ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_add_shared_term ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_advanced_nelson_oppen_creation ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_assert_equality ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_decision_level ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_backtrack ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_equality_creation ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_disequality_creation ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_model_conflict_detection ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_partition_creation ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_partition_refinement ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_model_based_combination ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_partition_equalities ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_minimizer ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_partition_refinement_backtrack ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_pending_equality_priority ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_theory_properties ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_union_find_creation ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_union_find_transitivity ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_partition_merge ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_register_theory ... ok
[INFO] [stdout] test combination::nelson_oppen_advanced::tests::test_union_find_union ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_get_class ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_coarsest_partition ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_bell_number ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_partition_enumerator ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_partition_equalities ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_representative ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_assignment_tracking ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_backtrack ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_manager ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_partition_comparison ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_decision_level ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_refinement_backtrack ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_dependency_graph ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_lazy_propagator ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_cache_invalidation ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_partition_merge ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_refinement ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_incremental_propagator ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_literal_negation ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_literal_creation ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_propagate ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_priority_ordering ... ok
[INFO] [stdout] test combination::partition_refinement::tests::test_finest_partition ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_propagation_trail ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_decision_levels ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_eclass_members ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_propagation_cache ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_propagation_engine_creation ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_egraph_add_term ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_trail_backtrack ... ok
[INFO] [stdout] test combination::propagation_opt::tests::test_watch_list ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_egraph_creation ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_egraph_merge ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_equality_assertion ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_flush_equalities ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_interface_minimizer ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_interface_term_minimization ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_manager_creation ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_register_term ... ok
[INFO] [stdout] test conflict::clause_learning::tests::test_clause_learner ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_representative ... ok
[INFO] [stdout] test conflict::clause_learning::tests::test_implication_graph ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_egraph_transitivity ... ok
[INFO] [stdout] test combination::shared_terms_advanced::tests::test_equality_creation ... ok
[INFO] [stdout] test conflict::clause_learning::tests::test_learned_database ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_cache_creation ... ok
[INFO] [stdout] test conflict::clause_learning::tests::test_subsumption ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_cache_miss ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_clear ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_hit_rate ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_insert_and_get ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_proof_caching ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_lru_eviction ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_caching ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_clear_cache ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_explain_conflict ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_explanation_creation ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_generator_creation ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_merge_explanations ... ok
[INFO] [stdout] test conflict::clause_learning::tests::test_lbd_computation ... ok
[INFO] [stdout] test conflict::explanation_cache::tests::test_stats ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_minimization ... ok
[INFO] [stdout] test conflict::explanation_generator::tests::test_explain_propagation ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_add_propagation ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_backjump_level ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_backtrack ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_clear ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_compaction ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_get_level ... ok
[INFO] [stdout] test conflict::minimizer::tests::test_minimize_trivial ... ok
[INFO] [stdout] test conflict::minimizer::tests::test_minimizer_config ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_binary_reason ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_add_decision ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_conflict_level_computation ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_empty_clause ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_max_recursion_depth ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_minimizer_creation ... ok
[INFO] [stdout] test conflict::minimizer::tests::test_minimizer_creation ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_reset ... ok
[INFO] [stdout] test conflict::minimizer::tests::test_stats_update ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_stats_tracking ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_recursive_minimization_disabled ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_backtrack ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_theory_reason ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_set_lit_info ... ok
[INFO] [stdout] test conflict::recursive_minimizer::tests::test_unit_clause ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_coi_depth_limit ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_coi_simple ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_filter_relevant ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_mark_relevant ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_minimize_clause ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_stats ... ok
[INFO] [stdout] test conflict::relevancy::tests::test_tracker_creation ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_arithmetic_explanation ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_explainer_creation ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_minimization ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_max_size_enforcement ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_proof_generation ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_bounds_explanation ... ok
[INFO] [stdout] test conflict::theory_explainer::tests::test_equality_explanation ... ok
[INFO] [stdout] test conflict::uip_selection::tests::test_add_implication ... ok
[INFO] [stdout] test conflict::uip_selection::tests::test_decision_node ... ok
[INFO] [stdout] test conflict::uip_selection::tests::test_find_last_uip ... ok
[INFO] [stdout] test conflict::uip_selection::tests::test_stats ... ok
[INFO] [stdout] test conflict::uip_selection::tests::test_uip_selector_creation ... ok
[INFO] [stdout] test context::tests::test_check_sat_assuming_script ... ok
[INFO] [stdout] test context::tests::test_context_basic ... ok
[INFO] [stdout] test context::tests::test_format_model ... ok
[INFO] [stdout] test context::tests::test_declare_const ... ok
[INFO] [stdout] test context::tests::test_get_option_script ... ok
[INFO] [stdout] test context::tests::test_get_model_script ... ok
[INFO] [stdout] test context::tests::test_context_push_pop ... ok
[INFO] [stdout] test context::tests::test_get_assertions ... ok
[INFO] [stdout] test context::tests::test_execute_script ... ok
[INFO] [stdout] test context::tests::test_get_value ... ok
[INFO] [stdout] test context::tests::test_push_pop_consts ... ok
[INFO] [stdout] test context::tests::test_get_value_after_unsat ... ok
[INFO] [stdout] test context::tests::test_simplify_command ... ok
[INFO] [stdout] test context::tests::test_get_value_no_model ... ok
[INFO] [stdout] test context::tests::test_reset_assertions ... ok
[INFO] [stdout] test delayed_combination::tests::test_delayed_combination_creation ... ok
[INFO] [stdout] test delayed_combination::tests::test_activate_theory ... ok
[INFO] [stdout] test context::tests::test_simplify_complex ... ok
[INFO] [stdout] test delayed_combination::tests::test_force_propagation ... ok
[INFO] [stdout] test delayed_combination::tests::test_defer_equality ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_cex_generator_creation ... ok
[INFO] [stdout] test delayed_combination::tests::test_handle_conflict ... ok
[INFO] [stdout] test delayed_combination::tests::test_get_sharing_theories ... ok
[INFO] [stdout] test delayed_combination::tests::test_register_shared_term ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_cex_generator_with_limits ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_cex_stats_display ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_enumerate_combinations_limit ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_counterexample_creation ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_enumerate_combinations_empty ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_refinement_strategy ... ok
[INFO] [stdout] test combination::interface_eq::tests::test_backtrack ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_enumerate_combinations_multiple ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_bounded_model_checker_depth ... ok
[INFO] [stdout] test mbqi::counterexample::tests::test_enumerate_combinations_single ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_bounded_model_checker_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_check_result_equality ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_domain_enumerator_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_finder_error_display ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_finite_model_finder_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_finite_model_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_domain_enumerator_enumerate_single ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_domain_enumerator_enumerate_empty ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_finite_model_finder_with_bounds ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_symmetry_breaker_with_strategy ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_symmetry_breaker_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_universe_size_display ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_universe_size_next ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_symmetry_strategy_equality ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_aggressive_heuristics ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_universe_size_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_universe_size_assignments ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_instantiation_heuristic_creation ... ok
[INFO] [stdout] test mbqi::finite_model::tests::test_universe_size_trivial ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_quantifier_queue_creation ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_resource_allocation_equality ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_selection_strategy_equality ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_conservative_heuristics ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_enumerative_instantiator_creation ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_success_rate_tracker ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_instantiation_context_creation ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_trigger_selection_equality ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_instantiation_engine_creation ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_instantiation_context_generation ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_instantiation_key_equality ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_instantiation_pattern_creation ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_quantifier_instantiator_creation ... ok
[INFO] [stdout] test mbqi::integration::tests::test_default_callback ... ok
[INFO] [stdout] test mbqi::integration::tests::test_integration_clear ... ok
[INFO] [stdout] test mbqi::integration::tests::test_set_time_limit ... ok
[INFO] [stdout] test mbqi::integration::tests::test_mbqi_integration_creation ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_egraph_creation ... ok
[INFO] [stdout] test mbqi::integration::tests::test_set_max_rounds ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_lazy_instantiator_creation ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_lazy_instantiator_with_strategy ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_egraph_find ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_egraph_merge ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_lazy_strategy_equality ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_relevance_tracker_creation ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_match_creation ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_matching_context_creation ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_relevance_tracker_mark ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_scored_instantiation_ordering ... ok
[INFO] [stdout] test mbqi::lazy_instantiation::tests::test_term_database_creation ... ok
[INFO] [stdout] test mbqi::macros::tests::test_term_depth_constant ... ok
[INFO] [stdout] test mbqi::macros::tests::test_free_vars_constant ... ok
[INFO] [stdout] test mbqi::macros::tests::test_is_ground_constant ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_completed_model_eval ... ok
[INFO] [stdout] test mbqi::macros::tests::test_term_size_constant ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_arithmetic_projection ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_completed_model_creation ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_function_interpretation_lookup ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_function_interpretation_max_occurrence ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_completion_error_display ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_function_interpretation_else_value ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_macro_solver_creation ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_model_completer_creation ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_uninterpreted_sort_handler_creation ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_projection_function_def ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_uninterpreted_sort_handler_custom_size ... ok
[INFO] [stdout] test mbqi::patterns::tests::test_multi_pattern_coordinator ... ok
[INFO] [stdout] test mbqi::patterns::tests::test_pattern_creation ... ok
[INFO] [stdout] test mbqi::patterns::tests::test_pattern_generator_creation ... ok
[INFO] [stdout] test mbqi::patterns::tests::test_pattern_type_equality ... ok
[INFO] [stdout] test mbqi::tests::test_instantiation_reason_display ... ok
[INFO] [stdout] test mbqi::tests::test_instantiation_binding_key ... ok
[INFO] [stdout] test mbqi::tests::test_mbqi_result_predicates ... ok
[INFO] [stdout] test mbqi::tests::test_quantified_formula_creation ... ok
[INFO] [stdout] test mbqi::tests::test_quantified_formula_priority ... ok
[INFO] [stdout] test mbqi::tests::test_stats_averages ... ok
[INFO] [stdout] test mbqi::tests::test_stats_initialization ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_arithmetic_model_simple ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_consistency_check ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_minimization ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_model_builder_creation ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_model_evaluation ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_model_with_equivalence ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_theory_assignments_filter ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_reset ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_witness_filter ... ok
[INFO] [stdout] test model::advanced_builder::tests::test_witness_generation ... ok
[INFO] [stdout] test model::builder::tests::test_bool_assignment ... ok
[INFO] [stdout] test model::builder::tests::test_build_model ... ok
[INFO] [stdout] test model::builder::tests::test_builder_creation ... ok
[INFO] [stdout] test model::builder::tests::test_model_creation ... ok
[INFO] [stdout] test model::builder::tests::test_theory_assignment ... ok
[INFO] [stdout] test model::builder::tests::test_value_types ... ok
[INFO] [stdout] test model::builder::tests::test_validate ... ok
[INFO] [stdout] test model::completion::tests::test_add_witness ... ok
[INFO] [stdout] test model::completion::tests::test_complete_with_witnesses ... ok
[INFO] [stdout] test model::completion::tests::test_completer_creation ... ok
[INFO] [stdout] test model::completion::tests::test_default_completion ... ok
[INFO] [stdout] test model::minimizer::tests::test_add_assignment ... ok
[INFO] [stdout] test model::minimizer::tests::test_mark_essential ... ok
[INFO] [stdout] test model::minimizer::tests::test_minimize_removes_unconstrained ... ok
[INFO] [stdout] test model::minimizer::tests::test_minimizer_creation ... ok
[INFO] [stdout] test model::minimizer::tests::test_stats ... ok
[INFO] [stdout] test nelson_oppen::tests::test_assert_equality ... ok
[INFO] [stdout] test nelson_oppen::tests::test_convexity_closure ... ok
[INFO] [stdout] test nelson_oppen::tests::test_nelson_oppen_creation ... ok
[INFO] [stdout] test nelson_oppen::tests::test_register_shared_term ... ok
[INFO] [stdout] test optimization::tests::test_optimizer_basic ... ok
[INFO] [stdout] test optimization::tests::test_optimizer_encoding ... ok
[INFO] [stdout] test optimization::tests::test_optimizer_unsat ... ok
[INFO] [stdout] test optimization::tests::test_solver_direct ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_backtrack ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_backtrack_manager ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_checkpoint ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_decide ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_get_assignment ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_find_first_uip ... ok
[INFO] [stdout] test mbqi::instantiation::tests::test_pattern_matcher_creation ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_propagate ... ok
[INFO] [stdout] test propagation::backtrack_manager::tests::test_restart ... ok
[INFO] [stdout] test mbqi::heuristics::tests::test_mbqi_heuristics_creation ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_add_clause_to_watcher ... ok
[INFO] [stdout] test mbqi::patterns::tests::test_pattern_equality ... ok
[INFO] [stdout] test mbqi::model_completion::tests::test_model_fixer_creation ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_add_short_clause_fails ... ok
[INFO] [stdout] test conflict::implication_graph::tests::test_graph_creation ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_backtrack ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_equality_propagation ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_conflict_detection ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_add_propagation ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_unit_propagation ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_reset ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_priority_ordering ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_pipeline_creation ... ok
[INFO] [stdout] test propagation::priority_queue::tests::test_clear ... ok
[INFO] [stdout] test propagation::priority_queue::tests::test_peek ... ok
[INFO] [stdout] test propagation::priority_queue::tests::test_queue_creation ... ok
[INFO] [stdout] test propagation::priority_queue::tests::test_stats ... ok
[INFO] [stdout] test propagation::theory_propagator::tests::test_backtrack ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_watcher_creation ... ok
[INFO] [stdout] test propagation::priority_queue::tests::test_priority_ordering ... ok
[INFO] [stdout] test propagation::theory_propagator::tests::test_explain ... ok
[INFO] [stdout] test propagation::theory_propagator::tests::test_manager_creation ... ok
[INFO] [stdout] test propagation::theory_propagator::tests::test_propagate_all ... ok
[INFO] [stdout] test propagation::theory_propagator::tests::test_register_propagator ... ok
[INFO] [stdout] test propagation::pipeline::tests::test_theory_propagation ... ok
[INFO] [stdout] test propagation::watched_propagator::tests::test_propagator_creation ... ok
[INFO] [stdout] test propagation::priority_queue::tests::test_timestamp_fifo ... ok
[INFO] [stdout] test propagation::watched_propagator::tests::test_remove_constraint ... ok
[INFO] [stdout] test propagation::watched_propagator::tests::test_stats ... ok
[INFO] [stdout] test propagation::theory_propagator::tests::test_stats ... ok
[INFO] [stdout] test propagation::watched_propagator::tests::test_add_constraint ... ok
[INFO] [stdout] test propagation_pipeline::tests::test_process_propagation ... ok
[INFO] [stdout] test propagation_pipeline::tests::test_priority_ordering ... ok
[INFO] [stdout] test propagation_pipeline::tests::test_conflict_detection ... ok
[INFO] [stdout] test propagation_pipeline::tests::test_enqueue_unit ... ok
[INFO] [stdout] test shared_terms::tests::test_equality ... ok
[INFO] [stdout] test propagation_pipeline::tests::test_pipeline_creation ... ok
[INFO] [stdout] test propagation_pipeline::tests::test_backtrack ... ok
[INFO] [stdout] test shared_terms::tests::test_manager_creation ... ok
[INFO] [stdout] test shared_terms::tests::test_register_term ... ok
[INFO] [stdout] test simplify::tests::test_simplifier_reset ... ok
[INFO] [stdout] test shared_terms::tests::test_equality_transitivity ... ok
[INFO] [stdout] test simplify::tests::test_simplify_assertions ... ok
[INFO] [stdout] test simplify::tests::test_simplify_and ... ok
[INFO] [stdout] test simplify::tests::test_simplify_implies ... ok
[INFO] [stdout] test simplify::tests::test_simplify_eq ... ok
[INFO] [stdout] test simplify::tests::test_simplify_not ... ok
[INFO] [stdout] test simplify::tests::test_simplify_ite ... ok
[INFO] [stdout] test simplify::tests::test_simplify_or ... ok
[INFO] [stdout] test shared_terms::tests::test_flush_equalities ... ok
[INFO] [stdout] test solver::tests::test_bv_comparison_model_generation ... ignored, Known BV model extraction issue - solver returns SAT but model extraction returns 0
[INFO] [stdout] test solver::tests::test_assert_many ... ok
[INFO] [stdout] test solver::tests::test_boolean_encoding_or ... ok
[INFO] [stdout] test solver::tests::test_arithmetic_model_generation ... ok
[INFO] [stdout] test solver::tests::test_boolean_encoding_and ... ok
[INFO] [stdout] test solver::tests::test_boolean_encoding_implies ... ok
[INFO] [stdout] test solver::tests::test_config_balanced_characteristics ... ok
[INFO] [stdout] test solver::tests::test_config_builder_pattern ... ok
[INFO] [stdout] test solver::tests::test_config_default_is_balanced ... ok
[INFO] [stdout] test solver::tests::test_boolean_encoding_distinct ... ok
[INFO] [stdout] test solver::tests::test_config_fast_characteristics ... ok
[INFO] [stdout] test solver::tests::test_config_thorough_characteristics ... ok
[INFO] [stdout] test solver::tests::test_context_level ... ok
[INFO] [stdout] test solver::tests::test_integer_contradiction_unsat ... ok
[INFO] [stdout] test solver::tests::test_lia_empty_interval_unsat ... ok
[INFO] [stdout] test solver::tests::test_model_pretty_print ... ok
[INFO] [stdout] test solver::tests::test_num_assertions_and_variables ... ok
[INFO] [stdout] test solver::tests::test_config_minimal_characteristics ... ok
[INFO] [stdout] test solver::tests::test_config_presets ... ok
[INFO] [stdout] test solver::tests::test_equality_notification_fields ... ok
[INFO] [stdout] test solver::tests::test_model_evaluation_implies ... ok
[INFO] [stdout] test solver::tests::test_model_evaluation_ite ... ok
[INFO] [stdout] test solver::tests::test_quantifier_basic_exists ... ok
[INFO] [stdout] test solver::tests::test_quantifier_multiple ... ok
[INFO] [stdout] test solver::tests::test_quantifier_pattern_matching ... ok
[INFO] [stdout] test solver::tests::test_quantifier_basic_forall ... ok
[INFO] [stdout] test solver::tests::test_quantifier_mbqi_solver_integration ... ok
[INFO] [stdout] test solver::tests::test_model_evaluation_bool ... ok
[INFO] [stdout] test solver::tests::test_quantifier_push_pop ... ok
[INFO] [stdout] test solver::tests::test_quantifier_with_ground_terms ... ok
[INFO] [stdout] test solver::tests::test_solver_false ... ok
[INFO] [stdout] test solver::tests::test_quantifier_with_model ... ok
[INFO] [stdout] test solver::tests::test_solver_empty ... ok
[INFO] [stdout] test solver::tests::test_solver_true ... ok
[INFO] [stdout] test solver::tests::test_solver_push_pop ... ok
[INFO] [stdout] test solver::tests::test_quantifier_instantiation ... ok
[INFO] [stdout] test solver::tests::test_theory_combination_get_shared_equalities ... ok
[INFO] [stdout] test solver::tests::test_trail_based_undo_false_assertion ... ok
[INFO] [stdout] test solver::tests::test_trail_based_undo_assertions ... ok
[INFO] [stdout] test solver::tests::test_trail_based_undo_constraints ... ok
[INFO] [stdout] test solver::tests::test_solver_with_different_configs ... ok
[INFO] [stdout] test solver::tests::test_trail_based_undo_named_assertions ... ok
[INFO] [stdout] test solver::tests::test_trail_based_undo_variables ... ok
[INFO] [stdout] test solver::tests::test_trail_based_undo_nested_push_pop ... ok
[INFO] [stdout] test solver::tests::test_theory_combination_arith_solver ... ok
[INFO] [stdout] test solver::tests::test_unsat_core_disabled ... ok
[INFO] [stdout] test solver::tests::test_unsat_core_trivial ... ok
[INFO] [stdout] test solver::tests::test_unsat_core_not_produced_when_sat ... ok
[INFO] [stdout] test optimization::tests::test_optimizer_maximize ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 428 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lia_integration.rs (/opt/rustwide/target/debug/deps/lia_integration-dbd74877d77f5d0e)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_lia_fractional_constant_in_equality ... ok
[INFO] [stderr]      Running tests/property_based.rs (/opt/rustwide/target/debug/deps/property_based-66821f00ae4c39b4)
[INFO] [stdout] test test_lia_gcd_infeasibility_basic ... ok
[INFO] [stdout] test test_lia_mixed_constraints_with_gcd ... ok
[INFO] [stdout] test test_lia_gcd_infeasibility_larger_gcd ... ok
[INFO] [stdout] test test_lia_gcd_satisfiable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests oxiz_solver
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/lib.rs - (line 63) ... ok
[INFO] [stdout] test src/context.rs - context::Context (line 60) ... ok
[INFO] [stdout] test src/lib.rs - (line 13) ... ok
[INFO] [stdout] test src/optimization.rs - optimization::Optimizer (line 62) ... ok
[INFO] [stdout] test src/lib.rs - (line 38) ... ok
[INFO] [stdout] test src/context.rs - context::Context (line 40) ... ok
[INFO] [stdout] test src/optimization.rs - optimization::Optimizer (line 88) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 2.30s; merged doctests compilation took 2.14s
[INFO] running `Command { std: "docker" "inspect" "7fdddc42fb2f3cb97b28acd1667edbde1e452155dcd55e517531b15c4221502b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7fdddc42fb2f3cb97b28acd1667edbde1e452155dcd55e517531b15c4221502b", kill_on_drop: false }`
[INFO] [stdout] 7fdddc42fb2f3cb97b28acd1667edbde1e452155dcd55e517531b15c4221502b
